package systeme;

import java.io.File;
import java.io.PrintStream;

import rdp.RdP;
import systeme.AlgoGrapheRdP;
import systeme.GrapheRdP;

public class Main {

	public static void ecrire(String fichier, String texte) {
		try {
			PrintStream f = new PrintStream(new File(fichier));
			f.print(texte);
			f.close();
		} catch (Exception e) {
			System.err.println("Probleme d'ecriture !");
		}
	}

	public static void main(String[] args) throws Exception {
		String fichier = "simple.net";
		
		if (args.length == 1)
		
			fichier = args[0];

		// Converti le fichier en réseau de pétri 
		RdP rdp = new RdP(fichier);
		
		AlgoGrapheRdP algo = new AlgoGrapheRdP(rdp);
		
		GrapheRdP graphe = algo.grapheRdP();
		
		System.out.println("Nombre de places : " + rdp.place.length + "\nNombre de transitions : "
				+ graphe.nbTransition);

		ecrire("toto.dot", graphe.toDot());
		
	
	}
}
